Section: New Software and Platforms

EVT Kopernic

Extreme Value Theory for Keeping Worst Reasoning Appropriate for Different Criticalities

Functional Description This software provides a probabilistic bound on the worst case execution time of a program. Its third version, released in March 2016, covers the case of statistically dependent execution times. Currently integrated in Rapitime (Rapita tool chain), a lighter version is under preparation for integration in FUI Waruna framework as well as in the preparation of hybrid versions to be released in 2017 as output of Capacites project.

• Participants: Liliana Cucu and Adriana Gogonel

• Contact: Liliana Cucu

• URL: https://who.rocq.inria.fr/Liliana.Cucu/Software.html